Finitary Functors: From Set to Preord and Poset
نویسندگان
چکیده
We investigate how finitary functors on Set can be extended or lifted to finitary functors on Preord and Poset and discuss applications to coalgebra.
منابع مشابه
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L ∗ of the limit L of the first ω terms in the final sequence. L∗ is the set of points in L which arise from all coalgebras using their canonical morphisms into L, and it was used earlier for different purposes in Kurz and Pattinson [5]. Viglizzo in [11...
متن کاملEquational presentations of functors and monads
In categorical universal algebra, it is well known that a finitary equational presentation of algebras in a finitary variety K amounts to the existence of a coequaliser of a pair of morphisms between finitely generated free algebras. The essence of a universal-algebraic flavour of a finitary functor L : K −→ K is that L is determined by its behaviour on finitely generated free algebras. In fact...
متن کاملRecursive coalgebras of finitary functors
For finitary set functors preserving inverse images several concepts of coalgebras A are proved to be equivalent: (i) A has a homomorphism into the initial algebra, (ii) A is recursive, i.e., A has a unique coalgebra-to-algebra morphism into any algebra, and (iii) A is parametrically recursive. And all these properties mean that the system described by A always halts in finitely many steps.
متن کاملA Family of Acyclic Functors
(1) find colim-acyclic objects in Ab. Here, Ab denote the category of abelian groups and Ab denote the (abelian) functor category for the small category C. The functor colim : Ab → Ab is the direct limit functor and F ∈ Ab is colim-acyclic if colimi F = 0 for i ≥ 1 (see [16] and [5], and the classical books of Cartan and Eilenberg [2] and of MacLane [13]). It is clear that if F is projective th...
متن کاملTheories
We consider the equivalence of Lawvere theories and finitary monads on Set from the perspective of Endf (Set)-enriched category theory, where Endf (Set) is the category of finitary endofunctors of Set. We identify finitary monads with one-object Endf (Set)-categories, and ordinary categories admitting finite powers (i.e., n-fold products of each object with itself) with Endf (Set)-categories ad...
متن کامل